| author | Glenn Morris <rgm@gnu.org> | |
| Sun, 7 Jul 2019 21:22:23 +0000 (14:22 -0700) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Sun, 7 Jul 2019 21:22:23 +0000 (14:22 -0700) | ||
| commit | 736d5927abfb6bae218cf5612c287b1a1f77b4a5 | |
| tree | 0660c01159478913ea66e99658cb80332abfff98 | tree | snapshot |
| parent | 1b6e9423b4bdaba04fa2779f7afc420ffe4d7e04 | commit | diff |
| doc/lispref/searching.texi | diff | blob | history |